Finite Distributive Concept Algebras
نویسندگان
چکیده
منابع مشابه
Finite Left{distributive Algebras and Embedding Algebras
We consider algebras with one binary operation and one generator (monogenic) and satisfying the left distributive law a (b c) = (a b) (a c). One can de ne a sequence of nite left-distributive algebras An, and then take a limit to get an in nite monogenic left-distributive algebra A1. Results of Laver and Steel assuming a strong large cardinal axiom imply that A1 is free; it is open whether the ...
متن کاملHR - Automatic Concept Formation in Finite Algebras
We are investigating how and why mathematicians invent new concepts while developing a theory, and implementing our ideas into the HR system, which automatically produces, assesses and displays concepts in finite algebras, such as finite group theory. We fit’st determined a reason for HI~ to produce concepts to classify a given set of groups up to isomorphism. Doing so would involve inventing c...
متن کاملLeft-distributive Embedding Algebras
We consider algebras with one binary operation and one generator, satisfying the left distributive law a (b c) = (a b) (a c); such algebras have been shown to have surprising connections with set-theoretic large cardinals and with braid groups. One can construct a sequence of nite left-distributive algebras An, and then take a limit to get an in nite left-distributive algebra A1 on one generato...
متن کامل8 S ep 1 99 2 FINITE LEFT - DISTRIBUTIVE ALGEBRAS AND EMBEDDING ALGEBRAS
We consider algebras with one binary operation · and one generator (monogenic) and satisfying the left distributive law a · (b · c) = (a · b) · (a · c). One can define a sequence of finite left-distributive algebras An, and then take a limit to get an infinite monogenic leftdistributive algebra A∞. Results of Laver and Steel assuming a strong large cardinal axiom imply that A∞ is free; it is op...
متن کاملOn reductive and distributive algebras
The paper investigates idempotent, reductive, and distributive groupoids, and more generally Ω-algebras of any type including the structure of such groupoids as reducts. In particular, any such algebra can be built up from algebras with a left zero groupoid operation. It is also shown that any two varieties of left k-step reductive Ω-algebras, and of right n-step reductive Ω-algebras, are indep...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Order
سال: 2006
ISSN: 0167-8094,1572-9273
DOI: 10.1007/s11083-006-9045-x